Assessing blasting techniques in vibration sensitive areas at Kinross − Round Mountain to enhance blasting criteria
نویسندگان
چکیده
منابع مشابه
An equivalent method for blasting vibration simulation
Article history: Received 8 December 2010 Received in revised form 18 May 2011 Accepted 19 May 2011 Available online 23 June 2011
متن کاملVibration Control of Underwater Blasting Works using Artificial Neural Networks
To allow the access of larger ships (Panamax class) to the interior docks of an important harbour in Portugal, a large volume of submerged rock had to be blasted. The harbour is surrounded by a densely populated urban area and the authors of this work were hired to monitor vibrations caused by the blasts. Macro-seismometers were installed in several locations inside the harbour perimeter and in...
متن کاملAn Introduction to Effective BLASTing
Sequence-alignments in general and BLAST searches in particular have become a ubiquitous part of molecular biology. Despite its popularity, the vast array of BLAST tools and parameter choices can overwhelm the user. Yet accepting the default parameters can greatly reduce search sensitivity and accuracy. This review focuses on the major parameters for BLASTN and BLASTP searches, and discusses bo...
متن کاملBit-Blasting ACL2 Theorems
Interactive theorem proving requires a lot of human guidance. Proving a property involves (1) figuring out why it holds, then (2) coaxing the theorem prover into believing it. Both steps can take a long time. We explain how to use GL, a framework for proving finite ACL2 theorems with BDDor SAT-based reasoning. This approach makes it unnecessary to deeply understand why a property is true, and a...
متن کاملBlasting Linux Code
Computer programs can only run reliably if the underlying operating system is free of errors. In this paper we evaluate, from a practitioner’s point of view, the utility of the popular software model checker Blast for revealing errors in Linux kernel code. The emphasis is on important errors related to memory safety in and locking behaviour of device drivers. Our conducted case studies show tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SN Applied Sciences
سال: 2020
ISSN: 2523-3963,2523-3971
DOI: 10.1007/s42452-020-03932-3